Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

jointly satisfiable formulas

Толкование Перевод

1 jointly satisfiable formulas

Математика: совместно выполнимые формулы

Универсальный англо-русский словарь > jointly satisfiable formulas
2 jointly satisfiable formulas

совместно выполнимые формулы

English-Russian scientific dictionary > jointly satisfiable formulas
3 satisfiable

выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимый

Большой англо-русский и русско-английский словарь > satisfiable
4 formula

1) рецепт

2) формула || формульный

3) формулировка

•

to follow the formula — подчиняться [следовать] формуле; описываться формулой

- absolute formula

- absorbing formula

- adjunction formula

- analytic formula

- arithmetic formula

- arithmetically provable formula
- arithmetically valid formula
- associativity formula

- asymptotic expansion formula
- back interpolation formula
- base formula

- bilinear formula

- binomial formula

- boundable formula

- central difference formula

- chain formula

- characteristic formula

- circular formula

- class formula

- classical formula

- class-number formula

- closed formula

- closedness formula

- coboundary formula

- collection formula

- combinatorial formula

- combined formula

- compatible formula

- complete formula

- compositional formula

- compound formula

- compound interest formula
- computational formula - computing formula
- conditional formula

- conditionally filtering formula

- consistent formula

- constructive formula

- continuation formula

- contraction formula

- contradictory formula

- control formula

- conversion formula

- corollary formula

- correct formula

- correction formula
- corrector formula
- correlation formula

- cut formula

- decidable formula

- decomposable formula

- decomposition formula

- deducible formula

- definitory formula

- derivable formula

- derivation formula

- describing formula

- diagonal formula

- difference formula

- differentiation formula

- disprovable formula

- distance formula

- distribution formula

- dual formula

- dual-symmetric formula

- effectively true formula

- elementary formula

- empty formula

- end formula

- estimation formula

- evaluation formula

- even-numbered formula

- exact formula

- existential formula

- explicit formula

- explicitly definable formula

- exponential formula

- extrapolation formula

- false formula

- filtered formula

- final formula

- first resolvent formula
- formally decidable formula - formally refutable formula - formula of finite increments
- formula of inversion

- formula of signature

- formula of total probability

- formula of traces

- free formula

- Fresnel's formula

- fully symmetric formula

- functional formula

- Gauss formula

- general formula

- general recursively true formula

- generalized formula

- generalizing formula

- geometrically provable formula
- geometrically valid formula
- global formula

- goniometric formula

- graphic formula

- Griem's formula

- grotesque formula

- Hardy-Weinberg equilibrium formula
- homomorphically stable formula - identically false formula - identically true formula
- implicit formula

- implicitly definable formula

- incomplete formula

- inconsistent formula

- incorrect formula

- indecomposable formula

- induction formula

- infinitary formula

- intuitionistically derivable formula
- intuitionistically valid formula
- invalid formula

- invariant formula

- inverse formula

- isolated formula

- iterative formula

- jointly satisfiable formulas

- Khintchine-Pollaczek formula

- kinematic formula

- krakowian formula

- least squares formula

- limiting formula

- listing formula

- logical formula

- logically determinate formula
- logically valid formula - maximum likelihood formula
- metalinguistic formula

- mix formula

- mixing formula

- modal formula

- modally derivable formula
- modally valid formula
- modified formula

- monotonically decreasing formula
- monotonically increasing formula
- multinomial formula

- multiplicatively stable formula

- negative formula

- neutral formula

- Newton's interpolation formula

- normative formula

- number-theoretic formula

- numeralwise decidable formula
- numeralwise expressible formula - numeralwise representable formula
- numerical formula

- open formula

- optimal formula

- perturbation formula

- Planck radiation formula

- polarization formula

- polynomial formula

- poor formula

- positive formula

- positively derivable formula
- positively valid formula
- postulation formula

- predicate letter formula

- predicative formula

- prediction formula

- prenex formula

- primitive formula

- primitively conditional formula
- primitively recursive formula
- principal formula

- prismatoid formula

- propositional formula

- purely analytic formula

- quadrangle formula

- quantifier-free formula

- quasiatomic formula

- ranked formula

- realizable formula

- reciprocation formula
- reciprocity formula
- recurrent formula

- recursion formula

- regression formula

- residue formula

- restricted formula

- reverse formula

- rudimentary formula

- satisfiable formula

- secondarily satisfiable formula
- secondarily valid formula
- semiempirical formula

- sequential formula

- set-theoretical formula

- shrewd formula

- side formula

- sieve formula

- simple interest formula

- simplified formula

- smoothing formula

- snap formula

- spherical product formula
- square stable formula
- squared formula

- subtraction formula

- symmetrical formula

- symmetrical interpolation formula

- tabulated formula

- terminal formula

- testing formula

- topological formula

- transfinite formula

- true formula

- truncated formula

- two-level formula

- unary formula

- undecidable formula

- underivable formula

- universal formula

- universally existential formula
- universally valid formula
- unprovable formula

- unreliazable formula

- unsatisfiable formula

- untestable formula

- verifiable formula

English-Russian scientific dictionary > formula

См. также в других словарях:

Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium

Словари и энциклопедии на Академике

Перевод: с английского на русский

jointly satisfiable formulas

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

jointly satisfiable formulas

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: